ITC2007 solver description: a hybrid approach
نویسندگان
چکیده
منابع مشابه
ITC2007 solver description: a hybrid approach
This paper provides a brief description of a constraint-based solver that was applied by the author to the problem instances in all three tracks of the International Timetabling Competition 2007.
متن کاملITC2007: Solver Description
This paper provides a brief description of a constraint-based solver that was applied by the author to the problem instances in all three tracks of the International Timetabling Competition 2007.
متن کاملBoosting SAT Solver Performance via a New Hybrid Approach
Due to the widespread demands for efficient SAT solvers in Electronic Design Automation applications, methods to boost the performance of the SAT solver are highly desired. We propose a Hybrid Solution to boost SAT solver performance in this paper, via an integration of local and DPLL-based search approaches. A local search is used to identify a subset of clauses from the original formula to be...
متن کاملSAT Solver Description: Rsat
Rsat is a DPLL–based solver that inherits many of the effective techniques introduced by MiniSat [3, 4] and Zchaff [6]. Rsat employs three improvements that have proven quite effective empirically. First, it employs techniques for reducing the time spent on Boolean constraint propagation. Next, it introduces a new technique that enables the solver to better focus on subproblems. Finally, Rsat e...
متن کاملLySAT: solver description
LySAT is a DPLL-based satisfiability solver which includes all the classical features like lazy data-structures and activity-based decision heuristics. It differs from well known satisfiability solvers such as Rsat [6] and MiniSAT [3] on many important components such as restart strategies and clause learning. In addition to the classical first-UIP scheme, it incorporates a new technique which ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Operations Research
سال: 2009
ISSN: 0254-5330,1572-9338
DOI: 10.1007/s10479-009-0644-y